home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / glassme / goodout < prev    next >
Text File  |  1991-02-13  |  31KB  |  875 lines
  1.   [
  2.       (DefBasetype ( "testin",  1 )  "B"),
  3.       (DefAtom ( "testin",  4 )  "sreg"
  4.         []
  5.         (TypUni
  6.           (TypProd
  7.             [
  8.                 (TypBase "B"),
  9.                 (TypBase "B"),
  10.                 (TypProd
  11.                   [
  12.                       (TypBase "B"),
  13.                       (TypBase "B")
  14.                   ])
  15.             ])
  16.           (TypProd
  17.             [
  18.                 (TypBase "B"),
  19.                 (TypBase "B")
  20.             ]))),
  21.       (DefAtom ( "testin",  5 )  "sbdff"
  22.         []
  23.         (TypUni
  24.           (TypProd
  25.             [
  26.                 (TypBase "B"),
  27.                 (TypBase "B")
  28.             ])
  29.           (TypBase "B"))),
  30.       (DefAtom ( "testin",  6 )  "scount4"
  31.         [ (PTBool), (PTBool), (PTBool), (PTBool), (PTBool)
  32.         ]
  33.         (TypUni
  34.           (TypProd
  35.             [
  36.                 (TypBase "B"),
  37.                 (TypBase "B"),
  38.                 (TypBase "B"),
  39.                 (TypBase "B"),
  40.                 (TypBase "B"),
  41.                 (TypBase "B"),
  42.                 (TypProd
  43.                   [
  44.                       (TypBase "B"),
  45.                       (TypBase "B"),
  46.                       (TypBase "B"),
  47.                       (TypBase "B")
  48.                   ])
  49.             ])
  50.           (TypProd
  51.             [
  52.                 (TypBase "B"),
  53.                 (TypBase "B"),
  54.                 (TypProd
  55.                   [
  56.                       (TypBase "B"),
  57.                       (TypBase "B"),
  58.                       (TypBase "B"),
  59.                       (TypBase "B")
  60.                   ])
  61.             ]))),
  62.       (DefAtom ( "testin",  8 )  "sbuffer"
  63.         [ (PTBool), (PTBool)
  64.         ]
  65.         (TypUni
  66.           (TypBase "B")
  67.           (TypProd
  68.             [
  69.                 (TypBase "B"),
  70.                 (TypBase "B")
  71.             ]))),
  72.       (DefAtom ( "testin",  13 )  "and"
  73.         []
  74.         (TypUni
  75.           (TypProd
  76.             [
  77.                 (TypBase "B"),
  78.                 (TypBase "B")
  79.             ])
  80.           (TypBase "B"))),
  81.       (DefAtom ( "testin",  14 )  "nand"
  82.         []
  83.         (TypUni
  84.           (TypProd
  85.             [
  86.                 (TypBase "B"),
  87.                 (TypBase "B")
  88.             ])
  89.           (TypBase "B"))),
  90.       (DefAtom ( "testin",  15 )  "or"
  91.         []
  92.         (TypUni
  93.           (TypProd
  94.             [
  95.                 (TypBase "B"),
  96.                 (TypBase "B")
  97.             ])
  98.           (TypBase "B"))),
  99.       (DefAtom ( "testin",  16 )  "sxor"
  100.         []
  101.         (TypUni
  102.           (TypProd
  103.             [
  104.                 (TypBase "B"),
  105.                 (TypBase "B")
  106.             ])
  107.           (TypBase "B"))),
  108.       (DefAtom ( "testin",  17 )  "nor"
  109.         []
  110.         (TypUni
  111.           (TypProd
  112.             [
  113.                 (TypBase "B"),
  114.                 (TypBase "B")
  115.             ])
  116.           (TypBase "B"))),
  117.       (DefAtom ( "testin",  18 )  "not"
  118.         []
  119.         (TypUni
  120.           (TypBase "B")
  121.           (TypBase "B"))),
  122.       (DefAtom ( "testin",  19 )  "snor2"
  123.         []
  124.         (TypUni
  125.           (TypProd
  126.             [
  127.                 (TypBase "B"),
  128.                 (TypBase "B")
  129.             ])
  130.           (TypBase "B"))),
  131.       (DefAtom ( "testin",  20 )  "snor3"
  132.         []
  133.         (TypUni
  134.           (TypProd
  135.             [
  136.                 (TypBase "B"),
  137.                 (TypBase "B"),
  138.                 (TypBase "B")
  139.             ])
  140.           (TypBase "B"))),
  141.       (DefAtom ( "testin",  21 )  "snand2"
  142.         []
  143.         (TypUni
  144.           (TypProd
  145.             [
  146.                 (TypBase "B"),
  147.                 (TypBase "B")
  148.             ])
  149.           (TypBase "B"))),
  150.       (DefAtom ( "testin",  22 )  "sfix"
  151.         []
  152.         (TypUni
  153.           (TypProd
  154.             [])
  155.           (TypProd
  156.             [
  157.                 (TypBase "B"),
  158.                 (TypBase "B")
  159.             ]))),
  160.       (DefAtom ( "testin",  25 )  "sipad"
  161.         []
  162.         (TypUni
  163.           (TypProd
  164.             [])
  165.           (TypBase "B"))),
  166.       (DefAtom ( "testin",  26 )  "sopad"
  167.         []
  168.         (TypNon
  169.           (TypBase "B"))),
  170.       (DefVal ( "testin",  29 )  "regpart1"
  171.         (TypUni
  172.           (TypProd
  173.             [
  174.                 (TypBase "B"),
  175.                 (TypBase "B"),
  176.                 (TypBase "B"),
  177.                 (TypBase "B"),
  178.                 (TypBase "B")
  179.             ])
  180.           (TypProd
  181.             [
  182.                 (TypBase "B"),
  183.                 (TypBase "B")
  184.             ]))
  185.         (VLambda
  186.           (FCList
  187.             [
  188.                 (FCSym "ck_32"),
  189.                 (FCSym "reset_33"),
  190.                 (FCSym "d2_34"),
  191.                 (FCSym "d1_35"),
  192.                 (FCSym "d0_36")
  193.             ])
  194.           (VAtom ( "testin",  30 )  "sreg"
  195.             []
  196.             (VList
  197.               [
  198.                   (VSym ( "testin",  30 )  "ck_32"),
  199.                   (VSym ( "testin",  30 )  "reset_33"),
  200.                   (VList
  201.                     [
  202.                         (VSym ( "testin",  30 )  "d0_36"),
  203.                         (VSym ( "testin",  30 )  "d1_35")
  204.                     ])
  205.               ])))),
  206.       (DefVal ( "testin",  33 )  "fsmlog1"
  207.         (TypUni
  208.           (TypProd
  209.             [
  210.                 (TypBase "B"),
  211.                 (TypBase "B"),
  212.                 (TypBase "B"),
  213.                 (TypBase "B")
  214.             ])
  215.           (TypProd
  216.             [
  217.                 (TypBase "B"),
  218.                 (TypBase "B"),
  219.                 (TypBase "B"),
  220.                 (TypBase "B"),
  221.                 (TypBase "B"),
  222.                 (TypBase "B")
  223.             ]))
  224.         (VLambda
  225.           (FCList
  226.             [
  227.                 (FCSym "q2_47"),
  228.                 (FCSym "q0_48"),
  229.                 (FCSym "tp_49"),
  230.                 (FCSym "ip_50")
  231.             ])
  232.           (VWhere
  233.             [
  234.                 (DefCon ( "testin",  37 ) 
  235.                   (VSym ( "testin",  37 )  "newclock_51")
  236.                   (VAtom ( "testin",  37 )  "and"
  237.                     []
  238.                     (VList
  239.                       [
  240.                           (VAtom ( "testin",  37 )  "not"
  241.                             []
  242.                             (VSym ( "testin",  37 )  "q0_48")),
  243.                           (VSym ( "testin",  37 )  "q2_47")
  244.                       ]))),
  245.                 (DefCon ( "testin",  38 ) 
  246.                   (VSym ( "testin",  38 )  "timeout_52")
  247.                   (VAtom ( "testin",  38 )  "and"
  248.                     []
  249.                     (VList
  250.                       [
  251.                           (VAtom ( "testin",  38 )  "not"
  252.                             []
  253.                             (VSym ( "testin",  38 )  "q0_48")),
  254.                           (VAtom ( "testin",  38 )  "not"
  255.                             []
  256.                             (VSym ( "testin",  38 )  "q2_47"))
  257.                       ]))),
  258.                 (DefCon ( "testin",  39 ) 
  259.                   (VSym ( "testin",  39 )  "srdata0_53")
  260.                   (VAtom ( "testin",  39 )  "and"
  261.                     []
  262.                     (VList
  263.                       [
  264.                           (VSym ( "testin",  39 )  "q0_48"),
  265.                           (VAtom ( "testin",  39 )  "not"
  266.                             []
  267.                             (VSym ( "testin",  39 )  "q2_47"))
  268.                       ]))),
  269.                 (DefCon ( "testin",  40 ) 
  270.                   (VSym ( "testin",  40 )  "srdata1_54")
  271.                   (VAtom ( "testin",  40 )  "and"
  272.                     []
  273.                     (VList
  274.                       [
  275.                           (VSym ( "testin",  40 )  "q0_48"),
  276.                           (VSym ( "testin",  40 )  "q2_47")
  277.                       ]))),
  278.                 (DefCon ( "testin",  41 ) 
  279.                   (VSym ( "testin",  41 )  "d1_55")
  280.                   (VAtom ( "testin",  41 )  "or"
  281.                     []
  282.                     (VList
  283.                       [
  284.                           (VSym ( "testin",  41 )  "ip_50"),
  285.                           (VAtom ( "testin",  41 )  "and"
  286.                             []
  287.                             (VList
  288.                               [
  289.                                   (VAtom ( "testin",  41 )  "not"
  290.                                     []
  291.                                     (VSym ( "testin",  41 )  "tp_49")),
  292.                                   (VSym ( "testin",  41 )  "q2_47")
  293.                               ]))
  294.                       ]))),
  295.                 (DefCon ( "testin",  42 ) 
  296.                   (VSym ( "testin",  42 )  "d0_56")
  297.                   (VAtom ( "testin",  42 )  "or"
  298.                     []
  299.                     (VList
  300.                       [
  301.                           (VAtom ( "testin",  42 )  "and"
  302.                             []
  303.                             (VList
  304.                               [
  305.                                   (VSym ( "testin",  42 )  "ip_50"),
  306.                                   (VAtom ( "testin",  42 )  "and"
  307.                                     []
  308.                                     (VList
  309.                                       [
  310.                                           (VAtom ( "testin",  42 )  "not"
  311.                                             []
  312.                                             (VSym ( "testin",  42 )  "q0_48")),
  313.                                           (VSym ( "testin",  42 )  "q2_47")
  314.                                       ]))
  315.                               ])),
  316.                           (VAtom ( "testin",  43 )  "or"
  317.                             []
  318.                             (VList
  319.                               [
  320.                                   (VAtom ( "testin",  43 )  "and"
  321.                                     []
  322.                                     (VList
  323.                                       [
  324.                                           (VSym ( "testin",  43 )  "tp_49"),
  325.                                           (VAtom ( "testin",  43 )  "and"
  326.                                             []
  327.                                             (VList
  328.                                               [
  329.                                                   (VAtom ( "testin",  43 )  "not"
  330.                                                     []
  331.                                                     (VSym ( "testin",  43 )  "q0_48")),
  332.                                                   (VSym ( "testin",  43 )  "q2_47")
  333.                                               ]))
  334.                                       ])),
  335.                                   (VAtom ( "testin",  44 )  "and"
  336.                                     []
  337.                                     (VList
  338.                                       [
  339.                                           (VAtom ( "testin",  44 )  "not"
  340.                                             []
  341.                                             (VSym ( "testin",  44 )  "ip_50")),
  342.                                           (VAtom ( "testin",  44 )  "and"
  343.                                             []
  344.                                             (VList
  345.                                               [
  346.                                                   (VAtom ( "testin",  44 )  "not"
  347.                                                     []
  348.                                                     (VSym ( "testin",  44 )  "tp_49")),
  349.                                                   (VSym ( "testin",  44 )  "q0_48")
  350.                                               ]))
  351.                                       ]))
  352.                               ]))
  353.                       ])))
  354.             ]
  355.             (VList
  356.               [
  357.                   (VSym ( "testin",  35 )  "srdata1_54"),
  358.                   (VSym ( "testin",  35 )  "srdata0_53"),
  359.                   (VSym ( "testin",  35 )  "timeout_52"),
  360.                   (VSym ( "testin",  35 )  "d1_55"),
  361.                   (VSym ( "testin",  35 )  "d0_56"),
  362.                   (VSym ( "testin",  35 )  "newclock_51")
  363.               ])))),
  364.       (DefVal ( "testin",  49 )  "fsm"
  365.         (TypUni
  366.           (TypProd
  367.             [
  368.                 (TypBase "B"),
  369.                 (TypBase "B"),
  370.                 (TypBase "B"),
  371.                 (TypBase "B")
  372.             ])
  373.           (TypProd
  374.             [
  375.                 (TypBase "B"),
  376.                 (TypBase "B"),
  377.                 (TypProd
  378.                   [
  379.                       (TypBase "B"),
  380.                       (TypBase "B")
  381.                   ])
  382.             ]))
  383.         (VLambda
  384.           (FCList
  385.             [
  386.                 (FCSym "ck_71"),
  387.                 (FCSym "reset_72"),
  388.                 (FCSym "tp_73"),
  389.                 (FCSym "ip_74")
  390.             ])
  391.           (VWhere
  392.             [
  393.                 (DefCon ( "testin",  51 ) 
  394.                   (VSym ( "testin",  51 )  "srdata_75")
  395.                   (VList
  396.                     [
  397.                         (VSym ( "testin",  51 )  "srdata0_76"),
  398.                         (VSym ( "testin",  51 )  "srdata1_77")
  399.                     ])),
  400.                 (DefCon ( "testin",  53 ) 
  401.                   (VList
  402.                     [
  403.                         (VSym ( "testin",  52 )  "srdata1_77"),
  404.                         (VSym ( "testin",  52 )  "srdata0_76"),
  405.                         (VSym ( "testin",  52 )  "timeout_78"),
  406.                         (VSym ( "testin",  52 )  "d1_79"),
  407.                         (VSym ( "testin",  52 )  "d0_80"),
  408.                         (VSym ( "testin",  52 )  "newclock_81")
  409.                     ])
  410.                   (VApply
  411.                     (VSym ( "testin",  53 )  "fsmlog1")
  412.                     (VList
  413.                       [
  414.                           (VSym ( "testin",  53 )  "q2_82"),
  415.                           (VSym ( "testin",  53 )  "q0_83"),
  416.                           (VSym ( "testin",  53 )  "tp_73"),
  417.                           (VSym ( "testin",  53 )  "ip_74")
  418.                       ]))),
  419.                 (DefCon ( "testin",  55 ) 
  420.                   (VList
  421.                     [
  422.                         (VSym ( "testin",  54 )  "q2_82"),
  423.                         (VSym ( "testin",  54 )  "q0_83")
  424.                     ])
  425.                   (VApply
  426.                     (VSym ( "testin",  55 )  "regpart1")
  427.                     (VList
  428.                       [
  429.                           (VSym ( "testin",  55 )  "ck_71"),
  430.                           (VSym ( "testin",  55 )  "reset_72"),
  431.                           (VSym ( "testin",  55 )  "x_84"),
  432.                           (VSym ( "testin",  55 )  "d1_79"),
  433.                           (VSym ( "testin",  55 )  "d0_80")
  434.                       ])))
  435.             ]
  436.             (VList
  437.               [
  438.                   (VSym ( "testin",  50 )  "timeout_78"),
  439.                   (VSym ( "testin",  50 )  "newclock_81"),
  440.                   (VSym ( "testin",  50 )  "srdata_75")
  441.               ])))),
  442.       (DefVal ( "testin",  59 )  "ldff"
  443.         (TypUni
  444.           (TypProd
  445.             [
  446.                 (TypBase "B"),
  447.                 (TypBase "B"),
  448.                 (TypBase "B")
  449.             ])
  450.           (TypBase "B"))
  451.         (VLambda
  452.           (FCList
  453.             [
  454.                 (FCSym "ld_90"),
  455.                 (FCSym "ck_91"),
  456.                 (FCSym "d_92")
  457.             ])
  458.           (VWhere
  459.             [
  460.                 (DefCon ( "testin",  61 ) 
  461.                   (VSym ( "testin",  61 )  "q_93")
  462.                   (VAtom ( "testin",  61 )  "sbdff"
  463.                     []
  464.                     (VList
  465.                       [
  466.                           (VSym ( "testin",  61 )  "ck_91"),
  467.                           (VSym ( "testin",  61 )  "ddff_94")
  468.                       ]))),
  469.                 (DefCon ( "testin",  62 ) 
  470.                   (VSym ( "testin",  62 )  "ddff_94")
  471.                   (VAtom ( "testin",  62 )  "nand"
  472.                     []
  473.                     (VList
  474.                       [
  475.                           (VAtom ( "testin",  62 )  "nand"
  476.                             []
  477.                             (VList
  478.                               [
  479.                                   (VAtom ( "testin",  62 )  "not"
  480.                                     []
  481.                                     (VSym ( "testin",  62 )  "ld_90")),
  482.                                   (VSym ( "testin",  62 )  "q_93")
  483.                               ])),
  484.                           (VAtom ( "testin",  63 )  "nand"
  485.                             []
  486.                             (VList
  487.                               [
  488.                                   (VSym ( "testin",  63 )  "ld_90"),
  489.                                   (VSym ( "testin",  63 )  "d_92")
  490.                               ]))
  491.                       ])))
  492.             ]
  493.             (VSym ( "testin",  61 )  "q_93")))),
  494.       (DefVal ( "testin",  68 )  "posedge"
  495.         (TypUni
  496.           (TypProd
  497.             [
  498.                 (TypBase "B"),
  499.                 (TypBase "B")
  500.             ])
  501.           (TypBase "B"))
  502.         (VLambda
  503.           (FCList
  504.             [
  505.                 (FCSym "ck_98"),
  506.                 (FCSym "in_99")
  507.             ])
  508.           (VWhere
  509.             [
  510.                 (DefCon ( "testin",  70 ) 
  511.                   (VSym ( "testin",  70 )  "out_100")
  512.                   (VAtom ( "testin",  70 )  "and"
  513.                     []
  514.                     (VList
  515.                       [
  516.                           (VAtom ( "testin",  70 )  "not"
  517.                             []
  518.                             (VAtom ( "testin",  70 )  "sbdff"
  519.                               []
  520.                               (VList
  521.                                 [
  522.                                     (VSym ( "testin",  70 )  "ck_98"),
  523.                                     (VSym ( "testin",  70 )  "in_99")
  524.                                 ]))),
  525.                           (VSym ( "testin",  72 )  "in_99")
  526.                       ])))
  527.             ]
  528.             (VSym ( "testin",  70 )  "out_100")))),
  529.       (DefVal ( "testin",  76 )  "edge"
  530.         (TypUni
  531.           (TypProd
  532.             [
  533.                 (TypBase "B"),
  534.                 (TypBase "B")
  535.             ])
  536.           (TypBase "B"))
  537.         (VLambda
  538.           (FCList
  539.             [
  540.                 (FCSym "ck_104"),
  541.                 (FCSym "in_105")
  542.             ])
  543.           (VWhere
  544.             [
  545.                 (DefCon ( "testin",  79 ) 
  546.                   (VSym ( "testin",  79 )  "q_106")
  547.                   (VAtom ( "testin",  79 )  "sbdff"
  548.                     []
  549.                     (VList
  550.                       [
  551.                           (VSym ( "testin",  79 )  "ck_104"),
  552.                           (VSym ( "testin",  79 )  "in_105")
  553.                       ])))
  554.             ]
  555.             (VAtom ( "testin",  77 )  "sxor"
  556.               []
  557.               (VList
  558.                 [
  559.                     (VAtom ( "testin",  77 )  "sbdff"
  560.                       []
  561.                       (VList
  562.                         [
  563.                             (VSym ( "testin",  77 )  "ck_104"),
  564.                             (VSym ( "testin",  77 )  "q_106")
  565.                         ])),
  566.                     (VSym ( "testin",  78 )  "q_106")
  567.                 ]))))),
  568.       (DefVal ( "testin",  84 )  "timer"
  569.         (TypUni
  570.           (TypProd
  571.             [
  572.                 (TypBase "B"),
  573.                 (TypBase "B"),
  574.                 (TypBase "B")
  575.             ])
  576.           (TypBase "B"))
  577.         (VLambda
  578.           (FCList
  579.             [
  580.                 (FCSym "ck_124"),
  581.                 (FCSym "reset_125"),
  582.                 (FCSym "r_126")
  583.             ])
  584.           (VWhere
  585.             [
  586.                 (DefCon ( "testin",  87 ) 
  587.                   (VSym ( "testin",  87 )  "tp_127")
  588.                   (VAtom ( "testin",  87 )  "snor2"
  589.                     []
  590.                     (VList
  591.                       [
  592.                           (VAtom ( "testin",  87 )  "snor2"
  593.                             []
  594.                             (VList
  595.                               [
  596.                                   (VSym ( "testin",  87 )  "q2_128"),
  597.                                   (VSym ( "testin",  87 )  "q3_129")
  598.                               ])),
  599.                           (VAtom ( "testin",  88 )  "snand2"
  600.                             []
  601.                             (VList
  602.                               [
  603.                                   (VSym ( "testin",  88 )  "q0_130"),
  604.                                   (VAtom ( "testin",  88 )  "not"
  605.                                     []
  606.                                     (VSym ( "testin",  88 )  "q1_131"))
  607.                               ]))
  608.                       ]))),
  609.                 (DefCon ( "testin",  89 ) 
  610.                   (VList
  611.                     [
  612.                         (VSym ( "testin",  89 )  "q0_130"),
  613.                         (VSym ( "testin",  89 )  "q1_131"),
  614.                         (VSym ( "testin",  89 )  "q2_128"),
  615.                         (VSym ( "testin",  89 )  "q3_129")
  616.                     ])
  617.                   (VSym ( "testin",  89 )  "q_132")),
  618.                 (DefCon ( "testin",  90 ) 
  619.                   (VList
  620.                     [
  621.                         (VSym ( "testin",  90 )  "cu_133"),
  622.                         (VSym ( "testin",  90 )  "cd_134"),
  623.                         (VSym ( "testin",  90 )  "q_132")
  624.                     ])
  625.                   (VAtom ( "testin",  90 )  "scount4"
  626.                     [
  627.                         (ParBool  False ),
  628.                         (ParBool  True ),
  629.                         (ParBool  True ),
  630.                         (ParBool  False ),
  631.                         (ParBool  False )
  632.                     ]
  633.                     (VList
  634.                       [
  635.                           (VSym ( "testin",  91 )  "d1_135"),
  636.                           (VSym ( "testin",  91 )  "reset_125"),
  637.                           (VSym ( "testin",  91 )  "ck_124"),
  638.                           (VSym ( "testin",  91 )  "d2_136"),
  639.                           (VSym ( "testin",  91 )  "one_137"),
  640.                           (VSym ( "testin",  91 )  "d3_138"),
  641.                           (VSym ( "testin",  91 )  "d4_139")
  642.                       ]))),
  643.                 (DefCon ( "testin",  92 ) 
  644.                   (VList
  645.                     [
  646.                         (VSym ( "testin",  92 )  "zero_140"),
  647.                         (VSym ( "testin",  92 )  "one_137")
  648.                     ])
  649.                   (VAtom ( "testin",  92 )  "sfix"
  650.                     []
  651.                     (VList
  652.                       [])))
  653.             ]
  654.             (VSym ( "testin",  86 )  "tp_127")))),
  655.       (DefVal ( "testin",  96 )  "srff"
  656.         (TypUni
  657.           (TypProd
  658.             [
  659.                 (TypBase "B"),
  660.                 (TypBase "B"),
  661.                 (TypBase "B"),
  662.                 (TypBase "B")
  663.             ])
  664.           (TypBase "B"))
  665.         (VLambda
  666.           (FCList
  667.             [
  668.                 (FCSym "ck_146"),
  669.                 (FCSym "reset_147"),
  670.                 (FCSym "s_148"),
  671.                 (FCSym "r_149")
  672.             ])
  673.           (VWhere
  674.             [
  675.                 (DefCon ( "testin",  99 ) 
  676.                   (VSym ( "testin",  99 )  "q_150")
  677.                   (VAtom ( "testin",  99 )  "sbdff"
  678.                     []
  679.                     (VList
  680.                       [
  681.                           (VSym ( "testin",  100 )  "ck_146"),
  682.                           (VAtom ( "testin",  100 )  "snor3"
  683.                             []
  684.                             (VList
  685.                               [
  686.                                   (VSym ( "testin",  100 )  "reset_147"),
  687.                                   (VSym ( "testin",  100 )  "r_149"),
  688.                                   (VAtom ( "testin",  101 )  "snor2"
  689.                                     []
  690.                                     (VList
  691.                                       [
  692.                                           (VSym ( "testin",  101 )  "s_148"),
  693.                                           (VSym ( "testin",  101 )  "q_150")
  694.                                       ]))
  695.                               ]))
  696.                       ])))
  697.             ]
  698.             (VSym ( "testin",  98 )  "q_150")))),
  699.       (DefVal ( "testin",  107 )  "core"
  700.         (TypUni
  701.           (TypProd
  702.             [
  703.                 (TypBase "B"),
  704.                 (TypBase "B"),
  705.                 (TypBase "B")
  706.             ])
  707.           (TypProd
  708.             [
  709.                 (TypBase "B"),
  710.                 (TypBase "B"),
  711.                 (TypBase "B"),
  712.                 (TypBase "B")
  713.             ]))
  714.         (VLambda
  715.           (FCList
  716.             [
  717.                 (FCSym "ck_166"),
  718.                 (FCSym "cd_167"),
  719.                 (FCSym "reset_168")
  720.             ])
  721.           (VWhere
  722.             [
  723.                 (DefCon ( "testin",  110 ) 
  724.                   (VSym ( "testin",  110 )  "syncdata_169")
  725.                   (VApply
  726.                     (VSym ( "testin",  110 )  "ldff")
  727.                     (VList
  728.                       [
  729.                           (VSym ( "testin",  110 )  "syncclk_170"),
  730.                           (VSym ( "testin",  110 )  "ckbuf0_171"),
  731.                           (VSym ( "testin",  110 )  "dataout_172")
  732.                       ]))),
  733.                 (DefCon ( "testin",  111 ) 
  734.                   (VList
  735.                     [
  736.                         (VSym ( "testin",  111 )  "ckbuf0_171"),
  737.                         (VSym ( "testin",  111 )  "ckbuf1_173")
  738.                     ])
  739.                   (VSym ( "testin",  111 )  "ckbuf_174")),
  740.                 (DefCon ( "testin",  112 ) 
  741.                   (VSym ( "testin",  112 )  "ckbuf_174")
  742.                   (VAtom ( "testin",  112 )  "sbuffer"
  743.                     [
  744.                         (ParBool  False ),
  745.                         (ParBool  True )
  746.                     ]
  747.                     (VSym ( "testin",  112 )  "ck_166"))),
  748.                 (DefCon ( "testin",  113 ) 
  749.                   (VSym ( "testin",  113 )  "dataout_172")
  750.                   (VApply
  751.                     (VSym ( "testin",  113 )  "srff")
  752.                     (VList
  753.                       [
  754.                           (VSym ( "testin",  113 )  "ckbuf0_171"),
  755.                           (VSym ( "testin",  113 )  "reset_168"),
  756.                           (VSym ( "testin",  113 )  "srdata1_175"),
  757.                           (VSym ( "testin",  113 )  "srdata0_176")
  758.                       ]))),
  759.                 (DefCon ( "testin",  114 ) 
  760.                   (VSym ( "testin",  114 )  "syncclk_170")
  761.                   (VApply
  762.                     (VSym ( "testin",  114 )  "posedge")
  763.                     (VList
  764.                       [
  765.                           (VSym ( "testin",  114 )  "ckbuf0_171"),
  766.                           (VSym ( "testin",  114 )  "newclock_177")
  767.                       ]))),
  768.                 (DefCon ( "testin",  115 ) 
  769.                   (VSym ( "testin",  115 )  "ip_178")
  770.                   (VApply
  771.                     (VSym ( "testin",  115 )  "edge")
  772.                     (VList
  773.                       [
  774.                           (VSym ( "testin",  115 )  "ckbuf0_171"),
  775.                           (VSym ( "testin",  115 )  "cd_167")
  776.                       ]))),
  777.                 (DefCon ( "testin",  116 ) 
  778.                   (VList
  779.                     [
  780.                         (VSym ( "testin",  116 )  "srdata0_176"),
  781.                         (VSym ( "testin",  116 )  "srdata1_175")
  782.                     ])
  783.                   (VSym ( "testin",  116 )  "srdata_179")),
  784.                 (DefCon ( "testin",  117 ) 
  785.                   (VList
  786.                     [
  787.                         (VSym ( "testin",  117 )  "timeout_180"),
  788.                         (VSym ( "testin",  117 )  "newclock_177"),
  789.                         (VSym ( "testin",  117 )  "srdata_179")
  790.                     ])
  791.                   (VApply
  792.                     (VSym ( "testin",  117 )  "fsm")
  793.                     (VList
  794.                       [
  795.                           (VSym ( "testin",  117 )  "ckbuf0_171"),
  796.                           (VSym ( "testin",  118 )  "reset_168"),
  797.                           (VApply
  798.                             (VSym ( "testin",  119 )  "timer")
  799.                             (VList
  800.                               [
  801.                                   (VSym ( "testin",  119 )  "ckbuf0_171"),
  802.                                   (VSym ( "testin",  119 )  "reset_168"),
  803.                                   (VSym ( "testin",  119 )  "ip_178")
  804.                               ])),
  805.                           (VSym ( "testin",  121 )  "ip_178")
  806.                       ])))
  807.             ]
  808.             (VList
  809.               [
  810.                   (VSym ( "testin",  108 )  "timeout_180"),
  811.                   (VSym ( "testin",  108 )  "syncclk_170"),
  812.                   (VSym ( "testin",  108 )  "dataout_172"),
  813.                   (VSym ( "testin",  108 )  "syncdata_169")
  814.               ])))),
  815.       (DefVal ( "testin",  126 )  "chip"
  816.         (TypNon
  817.           (TypProd
  818.             []))
  819.         (VSigma
  820.           (FCSym "dc_189")
  821.           (VWhere
  822.             [
  823.                 (DefCon ( "testin",  134 ) 
  824.                   (VList
  825.                     [
  826.                         (VSym ( "testin",  134 )  "timeout_190"),
  827.                         (VSym ( "testin",  134 )  "syncclk_191"),
  828.                         (VSym ( "testin",  134 )  "dataout_192"),
  829.                         (VSym ( "testin",  134 )  "syncdata_193")
  830.                     ])
  831.                   (VApply
  832.                     (VSym ( "testin",  134 )  "core")
  833.                     (VList
  834.                       [
  835.                           (VSym ( "testin",  134 )  "ck_194"),
  836.                           (VSym ( "testin",  134 )  "cd_195"),
  837.                           (VSym ( "testin",  134 )  "reset_196")
  838.                       ]))),
  839.                 (DefCon ( "testin",  135 ) 
  840.                   (VSym ( "testin",  135 )  "ck_194")
  841.                   (VAtom ( "testin",  135 )  "sipad"
  842.                     []
  843.                     (VList
  844.                       []))),
  845.                 (DefCon ( "testin",  136 ) 
  846.                   (VSym ( "testin",  136 )  "cd_195")
  847.                   (VAtom ( "testin",  136 )  "sipad"
  848.                     []
  849.                     (VList
  850.                       []))),
  851.                 (DefCon ( "testin",  137 ) 
  852.                   (VSym ( "testin",  137 )  "reset_196")
  853.                   (VAtom ( "testin",  137 )  "sipad"
  854.                     []
  855.                     (VList
  856.                       [])))
  857.             ]
  858.             (VAppset
  859.               [
  860.                   (VAtom ( "testin",  128 )  "sopad"
  861.                     []
  862.                     (VSym ( "testin",  128 )  "timeout_190")),
  863.                   (VAtom ( "testin",  129 )  "sopad"
  864.                     []
  865.                     (VSym ( "testin",  129 )  "syncclk_191")),
  866.                   (VAtom ( "testin",  130 )  "sopad"
  867.                     []
  868.                     (VSym ( "testin",  130 )  "dataout_192")),
  869.                   (VAtom ( "testin",  131 )  "sopad"
  870.                     []
  871.                     (VSym ( "testin",  132 )  "syncdata_193"))
  872.               ]))))
  873.   ]
  874.  
  875.